Simulation Based Minimization

نویسندگان

  • Doron Bustan
  • Orna Grumberg
چکیده

This work presents a minimization algorithm. The algorithm receives a Kripke structure M and returns the smallest structure that is simulation equivalent to M. The simulation equivalencerelation is weaker than bisimulation but stronger than the simulation preorder. It strongly preserves ACTL and LTL (as sub-logics of ACTL). We show that every structure M has a unique up to isomorphism reduced structure that is simulation equivalent to M and smallest in size. We give a Minimizing Algorithm that constructs the reduced structure. It rst constructs the quotient structure for M, then eliminates transitions to little brothers and nally deletes unreachable states. The rst step has maximal space requirements since it is based on the simulation preorder over M. To reduce these requirements we suggest the Partitioning Algorithm which constructs the quotient structure for M without ever building the simulation preorder. The Partitioning Algorithm has a better space complexity but might have worse time complexity .

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Optimal Control Pressure for Leakage Minimization in Water Distribution Systems Using Imperialist Competitive Algorithm

One of the key factors affecting leakage in water distribution systems is network pressure management by putting Pressure Reduce Valves (PRV) in the flow path and optimal regulation of these vales in water networks. This study aimed at investigating optimal pressure management problems so as to minimize leakage in water distribution networks. To do so, an approach was proposed for both optimal ...

متن کامل

Minimization of Büchi Automata using Fair Simulation

We present an algorithm, which reduces the size of Büchi automata using fair simulation. Its time complexity is O(|Q|4 · |∆|2), the space complexity is O(|Q| · |∆|). Simulation is a common approach for minimizing ω-automata such as Büchi automata. Direct simulation, delayed simulation and fair simulation are different types of simulation. As we will show, minimization based on direct or delayed...

متن کامل

Energy cost minimization in an electric vehicle solar charging station via dynamic programming

Environmental crisis and shortage of fossil fuels make Electric Vehicles (EVs) alternatives for conventional vehicles. With growing numbers of EVs, the coordinated charging is necessary to prevent problems such as large peaks and power losses for grid and to minimize charging costs of EVs for EV owners. Therefore, this paper proposes an optimal charging schedule based on Dynamic Programming (DP...

متن کامل

A Robust Adaptive Observer-Based Time Varying Fault Estimation

This paper presents a new observer design methodology for a time varying actuator fault estimation. A new linear matrix inequality (LMI) design algorithm is developed to tackle the limitations (e.g. equality constraint and robustness problems) of the well known so called fast adaptive fault estimation observer (FAFE). The FAFE is capable of estimating a wide range of time-varying actuator fault...

متن کامل

Stochastic Joint Optimal Distributed Generation Scheduling and Distribution Feeder Reconfiguration of Microgrids Considering Uncertainties Modeled by Copula-Based Method

Using distributed generations (DGs) with optimal scheduling and optimal distribution feeder reconfiguration (DFR) are two aspects that can improve efficiency as well as technical and economic features of microgrids (MGs). This work presents a stochastic copula scenario-based framework to jointly carry out optimal scheduling of DGs and DFR. This framework takes into account non-dispatchable and ...

متن کامل

Sparsest Error Detection via Sparsity Invariant Transformation based ℓ1 Minimization

This paper presents a new method, referred to here as the sparsity invariant transformation based `1 minimization, to solve the `0 minimization problem for an over-determined linear system corrupted by additive sparse errors with arbitrary intensity. Many previous works have shown that `1 minimization can be applied to realize sparse error detection in many over-determined linear systems. Howev...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000